Reasoning on XBRL metadata in Description Logic

Parallelizing Description Logic Reasoning

Parallelizing Description Logic Reasoning Kejia Wu, Ph.D. Concordia University, 2014 Description Logic has become one of the primary knowledge representation and reasoning methodologies during the last twenty years. A lot of areas are benefiting from description logic based technologies. Description logic reasoning algorithms and a number of optimization techniques for them play an important ro...

Explaining Description Logic Reasoning

The increasing reliance on automated reasoning needs not just the availability of fast reasoners, but also mechanisms to explain their, often surprising, results to human users, so that they can understand the consequences in their application domain. As one of the significant applications of machine reasoning is the Semantic Web, where reasoning on Description Logic(DL) plays a critical role, ...

Prolog Based Description Logic Reasoning

In this paper we present the recent developments of the DLog system, an ABox reasoning engine for the the SHIQ description logic language. DLog differs from traditional description logic reasoners in that it transforms description logic axioms into a Prolog program. The transformation is done independently from the ABox, i.e. the set of assertions about the individuals. This makes it possible t...

Reasoning in a Universal Description Logic : Extended

Individual Reuse in Description Logic Reasoning

Tableau calculi are the state-of-the-art for reasoning in description logics (DL). Despite recent improvements, tableau-based reasoners still cannot process certain knowledge bases (KBs), mainly because they end up building very large models. To address this, we propose a tableau calculus with individual reuse: to satisfy an existential assertion, our calculus nondeterministically tries to reus...